The calculus of speed: Accelerated worlds, worlds of acceleration
نویسندگان
چکیده
منابع مشابه
Adrian Miroiu WORLDS WITHIN WORLDS
It is sometimes argued that possible worlds are too rich. Indeed, for every sentence φ and every world w, either φ is true at w, or ¬φ is true at w. Possible worlds leave nothing unsettled: for any question one may ask, there is always an answer, yes or no. My view goes along the opposite side. I take possible worlds to be incredibly poor, and I think that a good deal can be added to them. The ...
متن کاملConstructing Hereditary Worlds Within Worlds
Although they appear unrelated, the type system of the polymorphic λ-calculus with references and the assertions of concurrent separation logic with first-class locks share a critical feature: an unsound contravariant circularity in their naı̈ve semantic model. We developed indirection theory to automatically construct, and cleanly axiomatize, step-indexed approximations to these naı̈ve models, a...
متن کاملReal Worlds, Virtual Worlds – and the Roots of Psychoacoustics
Knowledge from Psychoacoustics has recently gained increasing attention in technology. In this context it can be observed that, on the one hand, scientific Psychoacoustics is overestimated regarding it's application potency and, thus, contributions are expected from it which it cannot render. On the other hand, Psychoacoustics is also underestimated in that it is considered to be primarily “sub...
متن کاملThe Worlds of Negotiation
Traditionally, electronic negotiations have focused on automation of processes. Recently, it was argued that a communication perspective on electronic negotiations needs to be supported in order to achieve the aim of enabling even complex negotiations electronically. We will argue that there is a need to combine these two classes of approach with another class, namely that of decision support a...
متن کاملThe Terraformation of Worlds
Among the worlds beyond Earth potentially accessible to man in the foreseeable future, only the planet Mars falls within the known parameters of life. Given the present and potential range of human technological capabilities, in the relatively near future it may be possible to profoundly modify environmental and ecological conditions on Mars by a process that has come to be known as terraformat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Time & Society
سال: 2010
ISSN: 0961-463X,1461-7463
DOI: 10.1177/0961463x10381577